Hybrid Heterogeneous Hierarchical Models for Knowledge-Based Autonomous Systems

formalism (really just a hierarchical graph) serves only to group together the underlying models. The abstract model has no dynamic description or useful analytical routines, but the graph can be used to compile simple facts for the knowledge-base which are useful in interpretation. With hybrid model theory, we at least have a formal foundation upon which these problems can be formulated. Additionally, hybrid model theory is based on formalisms (Petri nets, queuing nets, etc.) which are used in many fields and understood by many researchers. We believe this places hybrid model theory in a unique position within modelling theories. It has extended the potential of formal modelling methods without changing the way investigators currently use modelling methods and without significantly increasing the complexity involved in modelling.